Nucleic acid analysis by multiplexed hybridization and probe design for multiplexed hybridization analysis

ABSTRACT

Disclosed is an analysis method useful in multiplexed mutation analysis or, in hybridization-mediated multiplexed analysis of polymorphisms under conditions permitting competitive hybridization, i.e., wherein single strands of a labeled nucleic acid of interest (“target”) interact with two or more pairs of immobilized degenerate capture probes. In one embodiment, one member of each pair has a sequence that is complementary to the normal (“wild-type”) sequence in a designated location of the target, while the other member of each pair has a sequence that is complementary to an anticipated variant (“mutant” or “polymorph”) sequence in that location of the target. The methods herein permit the selection of two or more probe pairs such that, for each pair of probes interacting with a given target strand, the interaction of the target with a preferred member of the probe pair is optimized. Also disclosed is a method of interpreting results obtained by multiplexed hybridization of the target to two or more pairs of probes under conditions permitting competitive hybridization.

RELATED APPLICATIONS

This application claims priority to U.S. Provisional Application No. 60/468,839, filed May 7, 2003.

BACKGROUND

Recently, multiplexed methods have been developed suitable for genome analysis, detection of polymorphisms, molecular karyotyping, and gene-expression analysis, where the genetic material in a sample is hybridized with a set of anchored oligonucleotide probes. Understanding the results, displayed when labeled subsequences in the target bind to particular probes, is based on decoding the probe array to determine the sequence of the bound members.

Embodiments of such arrays include spatially encoded oligonucleotide probe arrays, where the array is placed on a chip and particular probes are placed in designated regions of the chip. Also included are particle or microbead arrays, designated random encoded arrays, where the oligonucleotide probes are bound to encoded beads, and where the encoding identifies the probe bound thereto. See, e.g., U.S. application Ser. No. 09/690,040 Such arrays allow one to conduct high-throughput multiplexed hybridization involving thousands of probes on a surface.

One problem in multiplexed analysis is in interpreting the results. In a conventional multiplexed “reverse dot blot” hybridization assay, the target oligonucleotide strands are labeled, and the labeling is detected, post-hybridization to the probe array, to ascertain binding events. The reliability of the final computational interpretation of the data depends on understanding the errors due to unintended interactions among targets and probes, as probes and targets are multiplexed.

The standard approach to the thermodynamic analysis of nucleic acid hybridization invokes interactions between adjacent (“nearest-neighbor”) base-pairs to account for the thermodynamic stability of the duplex under given experimental conditions including temperature, ionic strength, and pH (see, e.g., Cantor & Smith, “Genomics”, Wiley Interscience, 1999). A variety of commercial software packages for probe and primer design invoke this model to estimate the thermodynamic stability, or equivalently, the “melting temperature”, T_(m), usually defined as the temperature at which half of a given number of nucleic acid duplexes have separated into single strands—a phenomenon also referred to as “denaturing” or “de-annealing.” The melting temperature of a probe or primer—more precisely, the duplex formed by the probe or primer and a complementary single oligonucleotide strand—represents the single most widely used parameter to guide the design of probes and primers in assays involving hybridization. Many commercial software packages are available for this purpose, e.g., Oligo, VisualOMP, PrimerSelect, Array Designer, Primer3, and others.

Duplex stability is significantly affected by the presence of mismatched bases, so that even a single point mutation can substantially lower the melting temperature (FIG. 1). This phenomenon provides the basis for the standard method of detecting such a mutant or polymorph in a designated location within a target sequence using hybridization analysis: a pair of probes, one member complementary to the normal target composition at the designated location, the other complementary to an anticipated variant, are permitted to interact with the target. For example, in a “reverse dot blot” or READ™ assay format, both probes are immobilized and permitted to capture a portion of a labeled target molecule of interest that is placed in contact with the probes. It is the objective of such an analysis to optimize discrimination between the signal associated with the “perfectly matched (PM)” probe having the sequence that is perfectly matched to the target sequence and the signal associated with the “mismatched (MM)” probe having the sequence that deviates from that of the target sequence in the designated location. It is desirable for the signal intensity to indicate the amount of captured target; an example would be target-associated fluorescence, where a higher intensity signal indicates more capture. For a single pair of PM/MM probes, optimal discrimination would be ensured by selecting the temperature to fall between the respective melting temperatures, T_(m) ^(PM) and T_(m) ^(MM)<T_(m) ^(PM) of perfectly matched and mismatched probes (FIG. 1). However, in multiplexed reactions, involving two or more PM/MM probe pairs, no such choice of a single temperature generally will be possible. In addition, multiplexed mutation analysis generally has to account for the possibility of cross-hybridization between other than cognate probes and targets, a possibility that exists whenever probes or targets display a sufficiently high degree of homology so as to interact with sufficient strength so as to stabilize a duplex under given experimental conditions.

Another source of error arises from competitive hybridization, where a target consists of possibly two distinct subsequences mA and mB, which can be characterized by separately hybridizing the target with either a mixture of specific probes mmA and control probes mmA, or a mixture of specific probes pmB and control probes mmB, respectively. In either case the ratio of specific signal to the control signal, obtained from each separate experiment, indicates how often either message is present. On the other hand, contrary to one's expectations, if the two messages were queried by ratios of the respective signals in a multiplexed experiment consisting of all four probes pmA, mmA, pmB, and mmB, one finds these ratios to differ from their values in the earlier experiments and by amounts that cannot simply be explained by the statistical noise. In particular, if one of the ratio values decreases severely, the resulting false negative errors can become significant enough to affect the multiplexed assay results. The negative effects can worsen as the number of multiplexed probes for a target increases.

There is a need for a method to correct for such errors, and also for assay design methods and probe selection, which will avoid or minimize such errors.

SUMMARY

The analysis method disclosed herein is useful in multiplexed mutation analysis or, more generally, in hybridization-mediated multiplexed analysis of polymorphisms under conditions permitting competitive hybridization, i.e., wherein single strands of a labeled nucleic acid of interest (“target”) interact with two or more pairs of immobilized degenerate capture probes. In one embodiment, one member of each pair has a sequence that is complementary to the normal (“wild-type”) sequence in a designated location of the target, while the other member of each pair has a sequence that is complementary to an anticipated variant (“mutant” or “polymorph”) sequence in that location of the target. The methods herein permit the selection of two or more probe pairs such that, for each pair of probes interacting with a given target strand, the interaction of the target with a preferred member of the probe pair is optimized.

Also disclosed is: (i) a method of interpreting results obtained by multiplexed hybridization of the target to two or more pairs of probes under conditions permitting competitive hybridization; and (ii) application of these methods of probe selection and interpretation to multiplexed analysis of target strands involving the use of enzyme-catalyzed elongation reactions such as the polymerase chain reaction. Preferably, in mutation analysis, the amount of duplex formed for each probe is determined by recording an optical signature (“signal”) associated with the encoded bead displaying that probe such that the intensity of the optical signature is proportional to the amount of duplex formed. That is, probes are analyzed in pairs, with one member complementary to the normal sequence and the other to the variant, i.e., the mutant or polymorph. One method of analyzing the respective results is to determine the ratio of the signals generated from mutant hybridizations and that from wild-type hybridizations, and to set relative ranges of values indicative of normal, heterozygous variant, and homozygous variant.

The paired sequences often will differ by only one nucleotide, and therefore, some degree of cross-hybridization is anticipated upon introduction of normal and variant samples. This can reduce discrimination in signal, even where one is examining signal ratios.

The methods herein invoke a model of mass action in which a target, T, present at initial concentration, t, forms a hybridization complex (“duplex”), C, at concentration or lateral density, c, with immobilized probes, P, present at a concentration or lateral density, p, in accordance with the relation c=Kpt in which K denotes an affinity constant that sets the scale of the strength of interaction between probe(s) and target(s). In a preferred embodiment, K represents a sequence-specific quantity which is evaluated as described herein using standard methodology well-known in the art (see SantaLucia, PNAS USA 95, 1460-1465 (1998)) by invoking certain thermodynamic parameters relating to the strength of base-pairing interactions that mediate the formation of a duplex.

These methods also guide the selection of two or more probe pairs so as to maximize, for each pair of probes interacting with a given target strand, the ratio of a first intensity, I^(PM), indicating the amount of duplex formed between target and perfectly matched (“PM”) probe and a second intensity, I^(MM), indicating the amount of duplex formed between target and mismatched (“MM”) probe in a pair of probes.

Also disclosed is a method for the correction of results following hybridization of the target to sets of PM/MM pairs of probes (also herein meant to include sets of “degenerate” probes) under conditions permitting competitive hybridization.

The probes and methods disclosed herein were extensively validated in many patient samples, and demonstrated as capable of diagnosing CF.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 shows a “melting” curve for a pair of PM and MM probes using the percentage of hybridization complex (“duplex”) remaining as the order parameter; a mismatch results in a reduction of the melting temperature.

FIG. 1A depicts a target T with a single region perfectly complementary to probe P₁₁, and another region perfectly complementary to probe P₁₂.

FIG. 2 depicts competitive hybridization between multiple probes and a single target.

FIG. 3 shows a state transition diagram for the possible interactions of two PM/MM probe pairs and a target, T, where the target exists in one of 9 possible states: free target T, and bound target states TP_(ij) ^(k), where k=1, 2 is the binding site, j=1, 2 is the probe index, and i=1 for matched probe or 0 for mismatched probe. Cross-terms j≠k have lower affinity constants.

FIG. 3A shows a state transition diagram for the possible interactions of two PM/MM probe pairs and a target, T, under Model I, involving only states 1, 2, 3, 8, 9.

FIG. 3B shows a state transition diagram for the possible interactions of two PM/MM probe pairs and a target, T, under Model II, involving only states 1, 4, 5, 6, 7.

FIG. 4 is the “Δ plot,” i.e., a universal representation of the discrimination of signal achieved with each of four different probe pairs each having different sequences, which separately form hybridization complexes with a target, as a function of the ratio of the initial concentrations of target and probes.

FIG. 4A plots PM/MM ratios of hybridization complexes with a target for the first pair of probes, as a function of the initial target concentration scaled by total (over all probes used under a given model in the multiplexed reaction) initial probe concentration, obtained under Model I (only the first pair of probes) and under Full Model (in the presence of the second pair of probes).

FIG. 4B plots PM/MM ratios of hybridization complexes with a target for the second pair of probes, as a function of the initial target concentration scaled by total (over all probes used under a given model in the multiplexed reaction) initial probe concentration, obtained under Model II (only the second pair of probes) and under Full Model (in the presence of the first pair of probes).

FIG. 4C shows the intensities of the probe pair of Model I of FIG. 4A, as functions of the initial target concentration scaled by total initial probe concentration.

FIG. 4D shows the intensities of the probe pair of Model II of FIG. 4B, as functions of the initial target concentration scaled by total initial probe concentration.

FIGS. 4E and 4F show, in bar graph form, where the X coordinate is taken at 0.7 from the graphs of FIGS. 4C and 4D, respectively, the normalized intensities for each probe pair A and B.

FIG. 4G shows, in bar graph form, the normalized intensities as in FIGS. 4E and 4F in a multiplexed reaction where both probe pairs A and B are present.

FIGS. 5A and 5B show a map indicating shifts in the plots of interaction strength between a target and a first PM/MM probe pair as a result of the presence of a second PM/MM probe pair

FIG. 6A shows sequences of PM and MM capture probes A327, B354, C381, D359, and E286, designed for the hybridization-mediated detection of mutations in exon 11 of the CFTR gene.

FIG. 6B shows the affinity constants for the probes A327, D359, and C381.

FIG. 7 shows plots of the ratio of the normalized discrimination for a first pair of PM/MM probes when allowed to hybridize alone, in the presence of a second pair of PM/MM probes, and in the presence of both second and third pairs of PM/MM probes forming hybridization complexes with a target, as a function of the ratio of the initial concentrations of target and all probes.

FIG. 8A shows the Δ-plots for probe C381, with probes A327 and D359 added.

FIG. 8B shows the relative locations of the probes A327, C381 and D359 on exon 11.

FIG. 8C shows the Δ-plots for probe A327, with probes C381 and D359 added.

FIG. 8D shows that probe D359 shows no discrimination, as there is no mismatch D359 probe.

FIG. 9A is a table showing the possible target-probe interactions of FIGS. 9B-9E.

FIGS. 9B to 9E show the results of wild type and mutant targets in the presence of five capture probes to regions of the exon 11 of the cystic fibrosis transmembrane regulator (CFTR) gene, referred to as A327, B354, C381, D359, and E286.

FIGS. 10A and 10B show the results of combinations of probes, as indicated in the figures.

DETAILED DESCRIPTION

Duplex Formation in Multiconstituent Reactions

To provide a basis for the quantitative description of competitive hybridization, one invokes a specific model of competitive hybridization involving the interaction of two or more PM/MM pairs of probes with the same target sequence. In such model, the array includes microbeads with probes attached, and the bead sizes are relatively large compared to the size of the probes. One assumes in this model that there are thousands of copies of the same probe attached to a single bead, and that the beads are spaced on a planar surface far enough apart in order to ensure that a single target strand may only hybridize to probes on a single bead. Thus, this assumption implies that the only possible complexes involve one target and one probe. The targets are obtained from a longer DNA, by PCR amplification with two primers to select clones of a region that are subjected to further characterization. Let T be a target with a single region perfectly complementary to probe P₁₁ and another region perfectly complementary to probe P₁₂ (see FIG. 1A). Let P₀₁ differ from P₁₁ in one base (i.e., the Hamming distance between P₀₁ and P₁₁ equals to 1, H(P₀₁; P₁₁)=1). If P₁₁ and P₀₁ are the only probes present, we can expect that when we compare the concentration of the P₁₁ probes bound to T (denoted [TP₁₁]) to the concentration of the P₀₁ probes bound to T (denoted [TP₀₁]) the resulting ratio to be large, i.e.: ${\frac{\left\lbrack {TP}_{11} \right\rbrack}{\left\lbrack {TP}_{01} \right\rbrack}}1\text{,}$ since their free energies are chosen to satisfy: ΔC(P_(01)<Δ) G(P ₁₁) P₀₁ clearly “competes” with P₁₁ for the target T. Consider yet another probe, P₀₂, that differs from P₁₁ in one base as well (H(P₁₁; P₀₂)=1), but at a location different from the one in P₀₁ (H(P₀₁; P₀₂)=2). Then P₀₂ also competes with P₁₁, but not as much with P₀₁, since H(P₀₁; P₀₂)=2. Thus, in the presence of P₀₂, we expect $\frac{\left\lbrack {TP}_{11} \right\rbrack}{\left\lbrack {TP}_{01} \right\rbrack}$ to decrease, since [TP₀₁] does not decrease much, but [TP₁₁] does. However, in the presence of all four probes P₁₁, P₀₁, P₁₂, and P₀₂, the analysis of the resulting “mutual competitions” poses a non-trivial problem.

FIG. 2 depicts the competitive hybridization among probes for a target T with two sites each of which is complementary (“perfectly matched”) to a particular probe: P₁₁ and P₁₂, respectively, and also where mismatched probes are included (P₀₁ and P₀₂, respectively). FIG. 3 depicts the state transition diagram for the interaction of the probes and the target in FIG. 2. For the sake of providing concrete predictions, nearest-neighbor (“NN”) model of thermodynamic duplex stability is used to evaluate sequence-specific affinities, K, of probe-target complexes.

Nearest-Neighbor Model

The model of hybridization discussed so far treats the dynamics in terms of kinetic mass-action reactions and ignores both the mixing properties of the molecules and the exact physics of hybridization except for simply acknowledging that the thermodynamics parameters depend on base-pair composition. However, the process of hybridization actually involves the formation of base pairs between Watson-Crick-complementary bases. Namely, base pairing of two single stranded DNA molecules is determined by the fact that A (adenine) is complementary to T (thymine), and C (cytosine) is complementary to G (guanine). Such base pairing is due to the formation of hydrogen bonds between the complementary bases; thus, this interaction is characterized primarily by the composition of the interacting strands. Another physical interaction, base stacking, characterizes the hybridization process, and it has been shown to depend on the sequence rather than the composition of the strands. As base stacking depends on short-range interactions, it is thought to be adequately described by the Nearest-Neighbor (NN) model.

In the NN model, it is assumed that the stability of a given base pair is determined by the identity and orientation of the neighboring base pairs. Thus, each thermodynamic parameter of the hybridization process, such as the change in enthalpy (ΔH), entropy (ΔS), and free energy (ΔG), is calculated as a sum of the contributions from each nearest-neighbor pair along a strand, corrected by some symmetry and initiation parameters. As the enthalpy and entropy terms may be assumed to be independent of temperature, they can be computed as follows: ${\Delta\quad H} = {{\sum\limits_{x}{\Delta\quad H_{x}}} + {\Delta\quad{H({init})}} + {\Delta\quad{H({sym})}}}$ ${\Delta\quad S} = {{\sum\limits_{x}{\Delta\quad S_{x}}} + {\Delta\quad{S({init})}} + {\Delta\quad{S({sym})}}}$ where the terms ΔH_(X) and ΔS_(X) are tabulated for all ten possible NN dimer duplexes, as are the initiation and symmetry terms. The free energy computation is analogous: ${\Delta\quad G} = {{\sum\limits_{x}{\Delta\quad G_{x}}} + {\Delta\quad{G({init})}} + {\Delta\quad{G({sym})}}}$ with the initiation and symmetry terms tabulated. The values ΔG_(X) for the dimer duplexes have been tabulated previously and reported at 25° C. (see Breslauer, et al., “Predicting DNA Duplex Stability from the Base Sequence,” PNAS USA 83: 3746-3750, 1986) and at 37° C. (SantaLucia, J. Jr. “A Unified View of Polymer, Dumbbell, and Oligonucleotide DNA Nearest-neighbor Thermodynamics,” PNAS USA 95:1460-1465,1998). Since ΔG depends on the temperature, the values ΔG_(X) for the dimer duplexes can be easily calculated from the corresponding ΔH_(X) and ΔS_(X) parameters by: ΔG _(χ)(T)=ΔH _(χ) −TΔS _(χ)

The ten distinct dimer duplexes arise as follows. Following the notation of Breslauer et al., supra, each dimer duplex is denoted with a “slash-sign” separating antiparallel strands, e.g., AG/TC denotes 5′-AG-3′ Watson-Crick base-paired with 3′-TC-5′. Table 1 below lists all sixteen (=|{A, T, C, G}|²=4²) possible dimers, identifying the equivalent ones. TABLE 1 $\begin{matrix} \frac{AA}{TT} & {\frac{AC}{TG} \equiv \frac{GT}{CA}} & {\frac{AG}{TC} \equiv \frac{CT}{GA}} & \frac{AT}{TA} \\ \frac{CA}{GT} & {\frac{CC}{GG} \equiv \frac{GG}{CC}} & \frac{CG}{GC} & \frac{CT}{GA} \\ \frac{GA}{CT} & \frac{GC}{CG} & \frac{GG}{CC} & \frac{GT}{CA} \\ \frac{TA}{AT} & {\frac{TC}{AG} \equiv \frac{GA}{CT}} & {\frac{TG}{AC} \equiv \frac{CA}{GT}} & {\frac{TT}{AA} \equiv \frac{AA}{TT}} \end{matrix}\quad$

Since these simulations involve oligonucleotide probes, the parameters for the initiation of duplex formation used drawn from the results in the 1998 paper of SantaLucia, supra. There, two different initiation parameters were introduced to account for the differences between duplexes with terminal A-T and duplexes with terminal G-C. The additional “symmetry” parameter accounts for the maintenance of the C2 symmetry of self-complementary duplexes. The table of parameters used in these simulations, drawn from SantaLucia, supra, is duplicated in Table 2 below for convenience. TABLE 2 NN Parameters at 1M NaCl. ΔG is calculated at 37° C. ΔH ΔS ΔG Interaction kcal/mol cal/K · mol kcal/mol AA/TT −7.9 −22.2 −1.00 AT/TA −7.2 −20.4 −0.88 TA/AT −7.2 −21.3 −0.58 CA/GT −8.5 −22.7 −1.45 GT/CA −8.4 −22.4 −1.44 CT/GA −7.8 −21.0 −1.28 GA/CT −8.2 −22.2 −1.30 CG/GC −10.6 −27.2 −2.17 GC/CG −9.8 −24.4 −2.24 GG/CC −8.0 −19.9 −1.84 Init. w/term. G · C 0.1 −2.8 0.98 Init. w/term. A · T 2.3 4.1 1.03 Symmetry correction 0 −1.4 0.43

The following example illustrates how the free energy can be computed according to the formula above, using the values from Table 2. 5′ C—G—A—A—G—T 3′ (SEQ ID NO.: 1)    * * * * * * 3′ G—C—T—T—C—A 5′ (SEQ ID NO.: 2)

$\begin{matrix} {{\Delta\quad G} = {{\Delta\quad{G\left( {{CG}/{GC}} \right)}} + {\Delta\quad{G\left( {{GA}/{CT}} \right)}} + {\Delta\quad{G\left( {{AA}/{TT}} \right)}} + {\Delta\quad{G\left( {{AG}/{TC}} \right)}} +}} \\ {{\Delta\quad{G\left( {{GT}/{CA}} \right)}} + {\Delta\quad{G\left( {{{{init}.\quad w}/G} \cdot C} \right)}} + {\Delta\quad{G\left( {{{{init}.\quad w}/A} \cdot T} \right)}} + 0} \\ {= {{- 2.17} - 1.30 - 1.00 - 1.28 - 1.44 + 0.98 + 1.03}} \\ {= {{- 5.18}\quad{kcal}\text{/}{mol}}} \end{matrix}$

Since the duplex is not self-complementary, ΔG(sym)=0.

Affinity Constants

At equilibrium, the affinity constants K₁ ^(j) are given by the formula: K ₁ ^(j)=exp [−ΔG/RT], and ΔG due to stacking interactions is calculated as above. Other models may be possible or desirable and may be readily incorporated as a module into the computations performed by methods described herein.

A mathematical model to analyze the dynamics involved in a system like the one above is described below. As before, the assumption is that the steric effects prevent multiple probes from hybridizing to a single target strand (as probes are bound to large beads).

As shown in FIG. 3, one may observe a target strand T in one of the following nine possible states:

-   (1) T (Target is unbound.) -   (2) TP₁₁ ¹; (3) TP₀₁ ¹; (4) TP₁₂ ²; (5) TP₀₂ ² -   (Target is bound by “specific” hybridization.) -   (8) TP₁₁ ²; (9) TP₀₁ ²; (6) TP₁₂ ¹; (7) TP₀₂ ¹ -   (Target is bound by “non-specific” hybridization.)     Bound target states have form TP_(ij) ^(k), where jε{1,2} is the     probe index, and $i = \left\{ \begin{matrix}     1 & {{{for}\quad{matched}\quad{probe}},} \\     0 & {{{for}\quad{mismatch}\quad{pobe}},}     \end{matrix} \right.$     and kε{1,2} is the binding site. States within each category are     numbered “left-to-right” with respect to location on the target.

The set of reversible reactions operating between unbound and bound states can be written as shown below, where the forward and backward reaction rates are indicated with k_(i,j) and k_(j,i), respectively. While the reaction rates themselves are difficult to compute, the ratios (affinity constants, K_(i) ^(j)=k_(i,j)/k_(j,i)) may be computed from purely thermodynamic considerations, and are sufficient for the “equilibrium analysis.” $\begin{matrix} {{T + P_{11}}\underset{k_{2,1}}{\overset{k_{1,2}}{\rightleftarrows}}{TP}_{11}^{1}} & {{T + P_{12}}\underset{k_{8,1}}{\overset{k_{1,8}}{\rightleftarrows}}{TP}_{12}^{1}} \\ {{T + P_{01}}\underset{k_{3,1}}{\overset{k_{1,3}}{\rightleftarrows}}{TP}_{01}^{1}} & {{T + P_{02}}\underset{k_{7,1}}{\overset{k_{1,7}}{\rightleftarrows}}{TP}_{02}^{1}} \\ \quad & \quad \\ {{T + P_{12}}\underset{k_{4,1}}{\overset{k_{1,4}}{\rightleftarrows}}{TP}_{12}^{2}} & {{T + P_{11}}\underset{k_{8,1}}{\overset{k_{1,8}}{\rightleftarrows}}{TP}_{11}^{2}} \\ {{T + P_{02}}\underset{k_{6,1}}{\overset{k_{1,6}}{\rightleftarrows}}{TP}_{02}^{2}} & {{T + P_{01}}\underset{k_{9,1}}{\overset{k_{1,9}}{\rightleftarrows}}{TP}_{01}^{2}} \end{matrix}$ To perform a stationary analysis, where these reactions are allowed to run to equilibrium, one begins by assuming that all complexes can be distinguished. In such case, the ODE's (ordinary differential equations) describing the dynamics of the system as follows. Let $\begin{matrix} {\overset{\_}{X} = \left( {X_{1},X_{2},X_{3},X_{4},X_{5},X_{6},X_{7},X_{8},X_{9}} \right)^{T}} \\ {= \left( {\lbrack T\rbrack,\left\lbrack {TP}_{11}^{1} \right\rbrack,\left\lbrack {TP}_{01}^{1} \right\rbrack,\left\lbrack {TP}_{12}^{2} \right\rbrack,\left\lbrack {TP}_{02}^{2} \right\rbrack,} \right.} \\ \left. {\left\lbrack {TP}_{12}^{1} \right\rbrack,\left\lbrack {TP}_{02}^{1} \right\rbrack,\left\lbrack {TP}_{11}^{2} \right\rbrack,\left\lbrack {TP}_{01}^{2} \right\rbrack} \right)^{T} \end{matrix}$ Note that at equilibrium, $\begin{matrix} {\frac{\mathbb{d}\overset{\_}{X}}{\mathbb{d}t} = {\overset{\_}{0}.\begin{matrix} {\frac{\mathbb{d}\lbrack T\rbrack}{\mathbb{d}t} = {{k_{2,1}\left\lbrack {TP}_{11}^{1} \right\rbrack} + {k_{3,1}\left\lbrack {TP}_{01}^{1} \right\rbrack} + {k_{4,1}\left\lbrack {TP}_{12}^{2} \right\rbrack} + {k_{5,1}\left\lbrack {TP}_{02}^{2} \right\rbrack} +}} \\ {{k_{6,1}\left\lbrack {TP}_{12}^{1} \right\rbrack} + {k_{7,1}\left\lbrack {TP}_{02}^{1} \right\rbrack} + {k_{8,1}\left\lbrack {TP}_{11}^{2} \right\rbrack} + {k_{9,1}\left\{ {TP}_{01}^{2} \right\rbrack} -} \\ {{{k_{1,2}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} - {{k_{1,3}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} - {{k_{1,4}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} - {{k_{1,5}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} -} \\ {{{k_{1,6}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} - {{k_{1,7}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} - {{k_{1,8}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} - {k_{1,9}\left\lbrack P_{01} \right\rbrack}} \end{matrix}}} & (1) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{11}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,2}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} - {k_{2,1}\left\lbrack {TP}_{11}^{1} \right\rbrack}}} & (2) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{01}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,3}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} - {k_{3,1}\left\lbrack {TP}_{01}^{1} \right\rbrack}}} & (3) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{12}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,4}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} - {k_{4,1}\left\lbrack {TP}_{12}^{2} \right\rbrack}}} & (4) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{02}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,5}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} - {k_{5,1}\left\lbrack {TP}_{02}^{2} \right\rbrack}}} & (5) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{12}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,6}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} - {k_{6,1}\left\lbrack {TP}_{12}^{1} \right\rbrack}}} & (6) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{02}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,7}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} - {k_{7,1}\left\lbrack {TP}_{02}^{1} \right\rbrack}}} & (7) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{11}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,8}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} - {k_{8,1}\left\lbrack {TP}_{11}^{2} \right\rbrack}}} & (8) \\ {\frac{\mathbb{d}\left\lbrack {TP}_{01}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,9}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} - {k_{9,1}\left\lbrack {TP}_{01}^{2} \right\rbrack}}} & (9) \\ {{Let}\begin{matrix} {\overset{\_}{X} = \left( {X_{1},X_{2},X_{3},X_{4},X_{5},X_{6},X_{7},X_{8},X_{9}} \right)^{T}} \\ {= \left( {\lbrack T\rbrack,\left\lbrack {TP}_{11}^{1} \right\rbrack,\left\lbrack {TP}_{01}^{1} \right\rbrack,\left\lbrack {TP}_{12}^{2} \right\rbrack,\left\lbrack {TP}_{02}^{2} \right\rbrack,} \right.} \\ \left. {\left\lbrack {TP}_{12}^{1} \right\rbrack,\left\lbrack {TP}_{02}^{1} \right\rbrack,\left\lbrack {TP}_{11}^{2} \right\rbrack,\left\lbrack {TP}_{01}^{2} \right\rbrack} \right)^{T} \end{matrix}} & (10) \end{matrix}$ Note that at equilibrium, $\begin{matrix} {\frac{\mathbb{d}\overset{\_}{X}}{\mathbb{d}t} = {\overset{\_}{0}.}} & (11) \end{matrix}$ Applying (11) to equations (2)-(9) yields $\begin{matrix} {{{k_{1,2}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} = {{\left. {k_{2,1}\left\lbrack {TP}_{11}^{1} \right\rbrack}\Longrightarrow K_{1}^{2} \right. \equiv \frac{k_{1,2}}{k_{2,1}}} = \frac{\left\lbrack {TP}_{11}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{11} \right\rbrack}}} & (12) \\ {{{k_{1,3}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} = {{\left. {k_{3,1}\left\lbrack {TP}_{01}^{1} \right\rbrack}\Longrightarrow K_{1}^{3} \right. \equiv \frac{k_{1,3}}{k_{3,1}}} = \frac{\lbrack T\rbrack\left\lbrack P_{01}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{01} \right\rbrack}}} & (13) \\ {{{k_{1,4}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} = {{\left. {k_{4,1}\left\lbrack {TP}_{12}^{2} \right\rbrack}\Longrightarrow K_{1}^{4} \right. \equiv \frac{k_{1,4}}{k_{4,1}}} = \frac{\left\lbrack {TP}_{12}^{2} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{12} \right\rbrack}}} & (14) \\ {{{k_{1,5}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} = {{\left. {k_{5,1}\left\lbrack {TP}_{02}^{2} \right\rbrack}\Longrightarrow K_{1}^{5} \right. \equiv \frac{k_{1,5}}{k_{5,1}}} = \frac{\left\lbrack {TP}_{02}^{2} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{02} \right\rbrack}}} & (15) \\ {{{{k_{1,6}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} = {{\left. {k_{6,1}\left\lbrack {TP}_{12}^{1} \right\rbrack}\Longrightarrow K_{1}^{6} \right. \equiv \frac{k_{1,6}}{k_{6,1}}} = \frac{\left\lbrack {TP}_{12}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{12} \right\rbrack}}}{{{k_{1,7}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} = {{\left. {k_{7,1}\left\lbrack {TP}_{02}^{1} \right\rbrack}\Longrightarrow K_{1}^{7} \right. \equiv \frac{k_{1,7}}{k_{7,1}}} = \frac{\left\lbrack {TP}_{02}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{02} \right\rbrack}}}{{{k_{1,8}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} = {{\left. {k_{8,1}\left\lbrack {TP}_{11}^{2} \right\rbrack}\Longrightarrow K_{1}^{8} \right. \equiv \frac{k_{1,8}}{k_{8,1}}} = \frac{\left\lbrack {TP}_{11}^{2} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{11} \right\rbrack}}}{{{k_{1,9}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} = {{\left. {k_{9,1}\left\lbrack {TP}_{01}^{1} \right\rbrack}\Longrightarrow K_{1}^{9} \right. \equiv \frac{k_{1,9}}{k_{9,1}}} = \frac{\left\lbrack {TP}_{01}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{01} \right\rbrack}}}} & (16) \end{matrix}$ and applying it to equation (1) yields $\begin{matrix} {{{k_{2,1}\left\lbrack {TP}_{11}^{1} \right\rbrack} + {k_{3,1}\left\lbrack {TP}_{01}^{1} \right\rbrack} + {k_{4,1}\left\lbrack {TP}_{12}^{2} \right\rbrack} + {k_{5,1}\left\lbrack {TP}_{02}^{2} \right\rbrack} + {k_{6,1}\left\lbrack {TP}_{12}^{1} \right\rbrack} + {k_{7,1}\left\lbrack {TP}_{02}^{1} \right\rbrack} + {k_{8,1}\left\lbrack {TP}_{11}^{2} \right\rbrack} + {k_{9,1}\left\lbrack {TP}_{01}^{2} \right\rbrack}} = {\quad{\lbrack T\rbrack\left( {{k_{1,2}\left\lbrack P_{11} \right\rbrack} + {k_{1,3}\left\lbrack P_{01} \right\rbrack} + {k_{1,4}\left\lbrack P_{12} \right\rbrack} + {k_{1,5}\left\lbrack P_{02} \right\rbrack} + {k_{1,6}\left\lbrack P_{12} \right\rbrack} + {k_{1,7}\left\lbrack P_{02} \right\rbrack} + {k_{1,8}\left\lbrack P_{11} \right\rbrack} + {k_{1,9}\left\lbrack P_{01} \right\rbrack}} \right)}}} & (20) \end{matrix}$ Equation (20) is a linear combination of (12), . . . , (19), and hence provides no additional information. Observe that $\begin{matrix} {\frac{\mathbb{d}\lbrack T\rbrack}{\mathbb{d}t} = {{- \frac{\mathbb{d}}{\mathbb{d}t}}\left\{ {\left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{2} \right\rbrack +} \right.}} \\ {\left. {\left\lbrack {TP}_{12}^{1} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack} \right\}\quad} \end{matrix}$ ${{or}\quad(1)} = {- {\sum\limits_{j = {(2)}}^{(9)}\left\{ {{equation}\quad j} \right\}}}$ The constants K₁ ^(j) for jε{2, . . . , 9}, appearing in equations (12)-(19), can be computed from probe sequence data. For each j, ΔG _(total) =−RT ln K ₁ ^(j), where R is the gas constant and T is the temperature (in degrees Kelvin). Thus, we have $\begin{matrix} {{K_{1}^{j} = {{\exp\left\lbrack {{- \Delta}\quad{G_{total}/{RT}}} \right\rbrack}\text{,}\quad{where}}}{{\Delta\quad G_{total}} = {{- \left( {\underset{\underset{initiation}{︸}}{\Delta\quad g_{i}} + \underset{\underset{symmetry}{︸}}{\Delta\quad g_{symm}}} \right)} + {\sum\limits_{T}{\underset{\underset{{sequence}\quad{data}}{︸}}{\Delta\quad g_{x}}.}}}}} & (21) \end{matrix}$ This notation and form follows the calculations set forth in Breslauer et al., supra; however, the calculation of ΔG has since been modified to follow the methods later-disclosed in SantaLucia, supra. Both versions of calculating ΔG are suitable for the model described herein.

The described model can be used to predict equilibrium concentrations of complexes TP_(ij){iε{0, 1}, jε{1, 2}}, where K₁ ^(j) can be calculated from the equation above (21), where ΔG_(total) is computed based on the sequence information. The following conservation rules must hold: $\begin{matrix} {\left\lbrack P_{11} \right\rbrack_{0} = {\left\lbrack P_{11} \right\rbrack + \left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack}} & (22) \\ {\left\lbrack P_{01} \right\rbrack_{0} = {\left\lbrack P_{01} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack}} & (23) \\ {\left\lbrack P_{12} \right\rbrack_{0} = {\left\lbrack P_{12} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack + \left\lbrack {TP}_{12}^{2} \right\rbrack}} & (24) \\ {\left\lbrack P_{02} \right\rbrack_{0} = {\left\lbrack P_{02} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack + \left\lbrack {TP}_{02}^{2} \right\rbrack}} & (25) \\ \begin{matrix} {\lbrack T\rbrack_{0} = {\lbrack T\rbrack + \left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{2} \right\rbrack +}} \\ {\left\lbrack {TP}_{11}^{2} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack} \\ {= {\lbrack T\rbrack + \left( {\left\lbrack P_{11} \right\rbrack_{0} - \left\lbrack P_{11} \right\rbrack} \right) + \left( {\left\lbrack P_{01} \right\rbrack_{0} - \left\lbrack P_{01} \right\rbrack} \right) +}} \\ {\left( {\left\lbrack P_{12} \right\rbrack_{0} - \left\lbrack P_{12} \right\rbrack} \right) + \left( {\left\lbrack P_{02} \right\rbrack_{0} - \left\lbrack P_{02} \right\rbrack} \right)} \end{matrix} & (26) \end{matrix}$

Note that in these expressions [X]₀ denotes initial concentration of X, which is a free parameter, and [X] denotes its equilibrium concentration. Consider the system consisting of equations (12)(19) and the conservation rule equations (22)-(26). One has a system of 13 polynomial equations (some quadratic, others linear) in 13 unknowns: X₁, . . . , X₉ (see (10)) and [P₁₁], [P₀₁], [P₁₂], [P₀₂], with 5 free parameters: [P₁₁]₀, [P₀₁]₀, [P₁₂]₀, [P₀₂]₀, and [T]₀. Therefore, this algebraic system, when solved, yields the equilibrium concentrations. From these computed concentrations, we can evaluate the “match to-mismatch ratio” for each probe: $\left( \frac{\left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack}{\left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack} \right)_{{full}\quad{model}}\quad{and}\quad\left( \frac{\left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack}{\left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack} \right)_{{full}\quad{model}}$ In order to examine the effects of competition between probes P₁₁ and P₁₂ on the signals for each of them, one now compares this situation with the one where only P₁₁ and P₀₁ are present without P₁₂ or P₀₂, and vice versa. Hereinafter, the model introduced in this section as the Full Model and will compare its performance with the other two partial models, one consisting of P₁₁, P₀₁, and T only (referred to as Model I) and the other consisting of P₁₂, P₀₂, and T only (referred to as Model II). Partial Model—Model I

This model consists of two probes P₁₁, P₀₁, and the target T only. One proceeds as before by solving the algebraic system of equations to evaluate: $\left( \frac{\left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack}{\left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack} \right)_{I}$ Possible States: Consider the following states:

-   (1) T -   (Target is unbound) -   (2) TP₁₁ ¹; (3) TP₀₁ ¹ -   (Target is bound by “specific” hybridization.) -   (8) TP₁₁ ²; (9) TP₀₁ ² -   (Target is bound by “non-specific” hybridization)     A state transition diagram for this partial model is depicted in     FIG. 3A. A set of reversible reactions operating between unbound and     bound states can be depicted as shown below. $\begin{matrix}     {{T + P_{11}}\underset{k_{2,1}}{\overset{k_{1,2}}{\rightleftarrows}}{TP}_{11}^{1}} & {{T + P_{11}}\underset{k_{8,1}}{\overset{k_{1,8}}{\rightleftarrows}}{TP}_{11}^{2}} \\     {{T + P_{01}}\underset{k_{3,1}}{\overset{k_{1,3}}{\rightleftarrows}}{TP}_{01}^{1}} & {{T + P_{01}}\underset{k_{9,1}}{\overset{k_{1,9}}{\rightleftarrows}}{TP}_{01}^{2}}     \end{matrix}$     The following are the ordinary differential equations describing the     dynamics of the system. $\begin{matrix}     \begin{matrix}     {\frac{\mathbb{d}\lbrack T\rbrack}{\mathbb{d}t} = {{k_{2,1}\left\lbrack {TP}_{11}^{1} \right\rbrack} - {{k_{1,2}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} + {k_{3,1}\left\lbrack {TP}_{01}^{1} \right\rbrack} - {{k_{1,3}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} +}} \\     {{k_{8,1}\left\lbrack {TP}_{11}^{2} \right\rbrack} - {{k_{1,8}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} + {k_{9,1}\left\lbrack {TP}_{01}^{2} \right\rbrack} - {{k_{1,9}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack}}     \end{matrix} & (27) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{11}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,2}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} - {k_{2,1}\left\lbrack {TP}_{11}^{1} \right\rbrack}}} & (28) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{01}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,3}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} - {k_{3,1}\left\lbrack {TP}_{01}^{1} \right\rbrack}}} & (29) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{11}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,8}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack} - {k_{8,1}\left\lbrack {TP}_{11}^{2} \right\rbrack}}} & (30) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{01}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,9}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack} - {k_{9,1}\left\lbrack {TP}_{01}^{2} \right\rbrack}}} & (31)     \end{matrix}$     Note that equations (28)-(31) are the same as equations (2), (3),     (8), and (9) in the original full model system above, while     equation (27) differs from (1), since it now involves only the     states with probes P₁₁ and P₀₁.     At equilibrium, d[.]/dt=0 for all substances, i.e., T, TP₁₁ ¹, TP₁₁     ², TP₀₁ ¹, and TP₀₁ ², yielding: $\begin{matrix}     {K_{1}^{2} = \frac{\left\lbrack {TP}_{11}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{11} \right\rbrack}} & (32) \\     {K_{1}^{3} = \frac{\left\lbrack {TP}_{01}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{01} \right\rbrack}} & (33) \\     {K_{1}^{8} = \frac{\left\lbrack {TP}_{11}^{2} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{11} \right\rbrack}} & (34) \\     {K_{1}^{9} = \frac{\left\lbrack {TP}_{01}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{01} \right\rbrack}} & (35)     \end{matrix}$     Since nothing else has changed in the thermodynamics, K₁ ^(j)     computed from (21) are the same as before for jε{2, 3, 8, 9} and we     have the following conservation rules: $\begin{matrix}     {\left\lbrack P_{11} \right\rbrack_{0} = {\left\lbrack P_{11} \right\rbrack + \left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack}} & (36) \\     {\left\lbrack P_{01} \right\rbrack_{0} = {\left\lbrack P_{01} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack}} & (37) \\     \begin{matrix}     {\lbrack T\rbrack_{0} = {\lbrack T\rbrack + \left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack}} \\     {= {\lbrack T\rbrack + \left( {\left\lbrack P_{11} \right\rbrack_{0} - \left\lbrack P_{11} \right\rbrack} \right) + \left( {\left\lbrack P_{01} \right\rbrack_{0} - \left\lbrack P_{01} \right\rbrack} \right)}}     \end{matrix} & (38)     \end{matrix}$     In this case one has     -   7 variables (unknowns): [TP₁₁ ¹], [TP₁₁ ²], [TP₀₁ ¹], [TP₀₁ ²],         [P₁₁], [P₀₁], and [T]; and     -   7 polynomial equations: (32)-(35), (36), (37), and (38), with     -   3 free parameters [P₁₁]₀, [P₀₁]₀, and [T]₀.         Note that, for comparison with full model, the free parameters         will need to be scaled to retain the same initial         target-to-probe ratio.         Partial Model—Model II

This model consists of two probes P₁₂, P₀₂, and the target T only. One proceeds as before by solving the algebraic system of equations to evaluate: $\left( \frac{\left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack}{\left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack} \right)_{11}$ And now considers the following states:

-   (1) T (Target is unbound.) -   (4) TP₁₂ ²; (5) TP₀₂ ² -   (Target is bound by “specific” hybridization) -   (6) TP₁₂ ¹; (7) TP₀₂ ¹ -   (Target is bound by “non-specific” hybridization)     A state transition diagram is shown in FIG. 3B. The set of     reversible reactions operating between unbound and bound states can     be written as shown below. $\begin{matrix}     {{T + P_{12}}\underset{k_{4,1}}{\overset{k_{1,4}}{\rightleftarrows}}{TP}_{12}^{2}} & {{T + P_{12}}\underset{k_{8,1}}{\overset{k_{1,8}}{\rightleftarrows}}{TP}_{12}^{1}} \\     {{T + P_{02}}\underset{k_{6,1}}{\overset{k_{1,6}}{\rightleftarrows}}{TP}_{02}^{2}} & {{T + P_{02}}\underset{k_{7,1}}{\overset{k_{1,7}}{\rightleftarrows}}{TP}_{02}^{1}}     \end{matrix}$     The following are the ordinary differential equations describing the     dynamics of the system: $\begin{matrix}     \begin{matrix}     {\frac{\mathbb{d}\lbrack T\rbrack}{\mathbb{d}t} = {{k_{4,1}\left\lbrack {TP}_{12}^{2} \right\rbrack} - {{k_{1,4}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} + {k_{5,1}\left\lbrack {TP}_{02}^{2} \right\rbrack} - {{k_{1,5}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} +}} \\     {{k_{6,1}\left\lbrack {TP}_{12}^{1} \right\rbrack} - {{k_{1,6}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} + {k_{7,1}\left\lbrack {TP}_{02}^{1} \right\rbrack} - {{k_{1,7}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack}}     \end{matrix} & (39) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{12}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,4}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} - {k_{4,1}\left\lbrack {TP}_{02}^{2} \right\rbrack}}} & (40) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{02}^{2} \right\rbrack}{\mathbb{d}t} = {{{k_{1,5}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} - {k_{5,1}\left\lbrack {TP}_{02}^{2} \right\rbrack}}} & (41) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{12}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,6}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack} - {k_{6,1}\left\lbrack {TP}_{12}^{1} \right\rbrack}}} & (42) \\     {\frac{\mathbb{d}\left\lbrack {TP}_{02}^{1} \right\rbrack}{\mathbb{d}t} = {{{k_{1,7}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack} - {k_{7,1}\left\lbrack {TP}_{02}^{1} \right\rbrack}}} & (43) \\     \quad & (44)     \end{matrix}$     Note that equations (40)-(43) are the same as equations (4), (5),     (6), and (7) in the original system above, while equation (39)     differs from (1), since it now involves only the states with probes     P₁₂ and P₀₂. At equilibrium, d[.]/dt=0 for all substances, i.e., T,     TP₁₂ ², TP₁₂ ¹, TP₀₂ ², and TP₀₂ ¹, yielding: $\begin{matrix}     {K_{1}^{4} = \frac{\left\lbrack {TP}_{12}^{2} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{12} \right\rbrack}} & (45) \\     {K_{1}^{5} = \frac{\left\lbrack {TP}_{02}^{2} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{02} \right\rbrack}} & (46) \\     {K_{1}^{6} = \frac{\left\lbrack {TP}_{12}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{12} \right\rbrack}} & (47) \\     {K_{1}^{7} = \frac{\left\lbrack {TP}_{02}^{1} \right\rbrack}{\lbrack T\rbrack\left\lbrack P_{02} \right\rbrack}} & (48)     \end{matrix}$     Again, since nothing else has changed in the thermodynamics, K₁ ^(j)     computed from (21) are the same as before for jε{4, 5, 6, 7}, and we     have the following conservation rules: $\begin{matrix}     {\left\lbrack P_{12} \right\rbrack_{0} = {\left\lbrack P_{12} \right\rbrack + \left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack}} & (49) \\     {\left\lbrack P_{02} \right\rbrack_{0} = {\left\lbrack P_{02} \right\rbrack + \left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack}} & (50) \\     \begin{matrix}     {\lbrack T\rbrack_{0} = {\lbrack T\rbrack + \left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack}} \\     {= {\lbrack T\rbrack + \left( {\left\lbrack P_{12} \right\rbrack_{0} - \left\lbrack P_{12} \right\rbrack} \right) + \left( {\left\lbrack P_{02} \right\rbrack_{0} - \left\lbrack P_{02} \right\rbrack} \right)}}     \end{matrix} & (51)     \end{matrix}$     In this case, one also has: -   7 variables: [TP₁₂ ²], [TP₁₂ ¹], [TP₀₂ ²], [TP₀₂ ¹], [P₁₂], [P₀₂],     and [T]; and -   7 equations: (45)-(48), (49), (50), and (51), with -   3 free parameters [P₁₂]₀, [P₀₂]₀, and [T]₀.     As above, the parameters will need to be scaled. In practice, once     the exact nucleotide sequences of T, P₁₁, P₀₁, P₁₂, and P₀₂ are     determined from the needs of the biological assay, one can compute     K₁ ^(j) explicitly, and then solve for the unknowns in all three     setups: Full Model, Model I, and Model II. With these computed ratio     values, one is ready to evaluate and compare the models in order to     discern the effects of competition:     $\left( \frac{P_{11}}{P_{01}} \right)_{full}\quad{{vs}.\quad\left( \frac{P_{11}}{P_{01}} \right)_{I}}\quad{{and}\left( \frac{P_{12}}{P_{02}} \right)}_{full}\quad{{vs}.\quad\left( \frac{P_{12}}{P_{02}} \right)_{II}}$     Full Model

In order to simplify the algebraic system of equation, one can rename the unknown variables as follows: $\begin{matrix} {X_{1} = \lbrack T\rbrack} & \quad & \quad \\ {X_{2} = \left\lbrack {TP}_{11}^{1} \right\rbrack} & {X_{6} = \left\lbrack {TP}_{12}^{1} \right\rbrack} & {Y_{1} = \left\lbrack P_{11} \right\rbrack} \\ {X_{3} = \left\lbrack {TP}_{01}^{1} \right\rbrack} & {X_{7} = \left\lbrack {TP}_{02}^{1} \right\rbrack} & {Y_{2} = \left\lbrack P_{01} \right\rbrack} \\ {X_{4} = \left\lbrack {TP}_{12}^{2} \right\rbrack} & {X_{8} = \left\lbrack {TP}_{11}^{2} \right\rbrack} & {Y_{3} = \left\lbrack P_{12} \right\rbrack} \\ {X_{5} = \left\lbrack {TP}_{02}^{2} \right\rbrack} & {X_{9} = \left\lbrack {TP}_{01}^{2} \right\rbrack} & {Y_{4} = \left\lbrack P_{02} \right\rbrack} \end{matrix}$ The constant parameters in the system are initially left in their symbolic form. K₁²; K₁³; K₁⁴; K₁⁵; K₁⁶; K₁⁷; K₁⁸; K₁⁹; $\begin{matrix} {{a_{0} = \left\lbrack P_{11} \right\rbrack_{0}};} & {{b_{0} = \left\lbrack P_{01} \right\rbrack_{0}};} \\ {{c_{0} = \left\lbrack P_{12} \right\rbrack_{0}};} & {{d_{0} = \left\lbrack P_{02} \right\rbrack_{0}};} \\ {e_{0} = {\lbrack T\rbrack_{0}.}} & \quad \end{matrix}$ Equations (12)-(19) and (22)-(26) can now be rewritten in terms of {X_(i); Y_(j)} as follows. $\begin{matrix} \left. \begin{matrix} {\left\lbrack {TP}_{11}^{1} \right\rbrack = \left. {{K_{1}^{2}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack}\Longrightarrow \right.} & {X_{2} = {K_{1}^{2}X_{1}Y_{1}}} \\ {\left\lbrack {TP}_{01}^{1} \right\rbrack = \left. {{K_{1}^{3}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack}\Longrightarrow \right.} & {X_{3} = {K_{1}^{3}X_{1}Y_{2}}} \\ {\left\lbrack {TP}_{12}^{2} \right\rbrack = \left. {{K_{1}^{4}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack}\Longrightarrow \right.} & {X_{4} = {K_{1}^{4}X_{1}Y_{3}}} \\ {\left\lbrack {TP}_{02}^{2} \right\rbrack = \left. {{K_{1}^{5}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack}\Longrightarrow \right.} & {X_{5} = {K_{1}^{5}X_{1}Y_{4}}} \\ {\left\lbrack {TP}_{12}^{1} \right\rbrack = \left. {{K_{1}^{6}\lbrack T\rbrack}\left\lbrack P_{12} \right\rbrack}\Longrightarrow \right.} & {X_{6} = {K_{1}^{6}X_{1}Y_{3}}} \\ {\left\lbrack {TP}_{02}^{1} \right\rbrack = \left. {{K_{1}^{7}\lbrack T\rbrack}\left\lbrack P_{02} \right\rbrack}\Longrightarrow \right.} & {X_{7} = {K_{1}^{7}X_{1}Y_{4}}} \\ {\left\lbrack {TP}_{11}^{2} \right\rbrack = \left. {{K_{1}^{8}\lbrack T\rbrack}\left\lbrack P_{11} \right\rbrack}\Longrightarrow \right.} & {X_{8} = {K_{1}^{8}X_{1}Y_{1}}} \\ {\left\lbrack {TP}_{01}^{2} \right\rbrack = \left. {{K_{1}^{9}\lbrack T\rbrack}\left\lbrack P_{01} \right\rbrack}\Longrightarrow \right.} & {X_{9} = {K_{1}^{9}X_{1}Y_{2}}} \\ {\left\lbrack P_{11} \right\rbrack_{0} = {\left\lbrack P_{11} \right\rbrack + \left\lbrack {TP}_{11}^{1} \right\rbrack + \left. \left\lbrack {TP}_{11}^{2} \right\rbrack\Longrightarrow \right.}} & {a_{0} = {X_{2} + X_{8} + Y_{1}}} \\ {\left\lbrack P_{01} \right\rbrack_{0} = {\left\lbrack P_{01} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack + \left. \left\lbrack {TP}_{01}^{2} \right\rbrack\Longrightarrow \right.}} & {b_{0} = {X_{3} + X_{9} + Y_{2}}} \\ {\left\lbrack P_{12} \right\rbrack_{0} = {\left\lbrack P_{12} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack + \left. \left\lbrack {TP}_{12}^{2} \right\rbrack\Longrightarrow \right.}} & {c_{0} = {X_{4} + X_{6} + Y_{3}}} \\ {\left\lbrack P_{02} \right\rbrack_{0} = {\left\lbrack P_{02} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack + \left. \left\lbrack {TP}_{02}^{2} \right\rbrack\Longrightarrow \right.}} & {d_{0} = {X_{5} + X_{7} + Y_{4}}} \\ {\lbrack T\rbrack_{0} = {\lbrack T\rbrack + \left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{1} \right\rbrack +}} & {e_{0} = {X_{1} + X_{2} + X_{3} +}} \\ {\left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack +} & {X_{4} + X_{5} + X_{6} +} \\ {\left\lbrack {TP}_{01}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack + \left. \left\lbrack {TP}_{02}^{1} \right\rbrack\Longrightarrow \right.} & {X_{7} + X_{8} + X_{9}} \end{matrix} \right\} & (52) \end{matrix}$ Model I

Now, we consider a system of algebraic equations representing the concentrations at equilibrium and involving unknown variables X₁, X₂, X₃, X₈, X₉, Y₁, and Y₂, and constant parameters K₁ ², K₁ ³, K₁ ⁸, K₁ ⁹, a₀, b₀, and e₀. Thus, in a manner analogous to that derived for the full model in the previous section, one may rewrite the equations (32), (33), (34), (35), (36), (37), and (38) in terms of {X_(i); Y_(j)}, as shown below. $\begin{matrix} \left. \begin{matrix} {X_{2} = {K_{1}^{2}X_{1}Y_{1}}} \\ {X_{3} = {K_{1}^{3}X_{1}Y_{2}}} \\ {X_{8} = {K_{1}^{8}X_{1}Y_{1}}} \\ {X_{9} = {K_{1}^{9}X_{1}Y_{2}}} \\ {a_{0} = {\left\lbrack P_{11} \right\rbrack_{0} = {X_{2} + X_{8} + Y_{1}}}} \\ {b_{0} = {\left\lbrack P_{01} \right\rbrack_{0} = {X_{3} + X_{9} + Y_{2}}}} \\ {e_{0} = {\lbrack T\rbrack_{0} = {X_{1} + X_{2} + X_{3} + X_{8} + X_{9}}}} \end{matrix} \right\} & (53) \end{matrix}$ Model II

Next, consider a system of algebraic equations representing the concentrations at equilibrium and involving unknown variables X₁, X₄, X₅, X₆, X₇, Y₃, and Y₄, and constant parameters K₁ ⁴, K₁ ⁵, K₁ ⁶, K₁ ⁷, c₀, d₀, and e₀. Once again one may rewrite the equations (45), (46), (47), (48), (49), (50), and (51) in terms of {X_(i); Y_(j)}, as shown below. $\begin{matrix} \left. \begin{matrix} {X_{4} = {K_{1}^{4}X_{1}Y_{3}}} \\ {X_{5} = {K_{1}^{5}X_{1}Y_{4}}} \\ {X_{6} = {K_{1}^{6}X_{1}Y_{3}}} \\ {X_{7} = {K_{1}^{7}X_{1}Y_{4}}} \\ {c_{0} = {\left\lbrack P_{12} \right\rbrack_{0} = {X_{4} + X_{6} + Y_{3}}}} \\ {d_{0} = {\left\lbrack P_{02} \right\rbrack_{0} = {X_{5} + X_{7} + Y_{4}}}} \\ {e_{0} = {\lbrack T\rbrack_{0} = {X_{1} + X_{4} + X_{5} + X_{6} + X_{7}}}} \end{matrix} \right\} & (54) \end{matrix}$ Note that with the exception of the conservation rules for [T] (i.e., the last equations in (52), (53), and (54)) under the different models, one has (52)=(53)∪(54). System Reduction—Model I

Starting with (53), one may obtain the following linear equalities: Y ₁ =a ₀ −X ₂ −X ₈  (55) Y ₂ =b ₀ −X ₃ −X ₉  (56) Furthermore, since $\begin{matrix} {\frac{X_{2}}{X_{8}} = {\frac{K_{1}^{2}X_{1}Y_{1}}{K_{1}^{8}X_{1}Y_{1}} = {\left. \frac{K_{1}^{2}}{K_{1}^{8}}\Longrightarrow X_{8} \right. = {\frac{K_{1}^{8}}{K_{1}^{2}}X_{2}}}}} & (57) \\ {\frac{X_{3}}{X_{9}} = {\frac{K_{1}^{3}X_{1}Y_{2}}{K_{1}^{9}X_{1}Y_{2}} = {\left. \frac{K_{1}^{3}}{K_{1}^{9}}\Longrightarrow X_{9} \right. = {\frac{K_{1}^{9}}{K_{1}^{3}}X_{3}}}}} & (58) \end{matrix}$ one may simplify to obtain: $\begin{matrix} {\begin{matrix} {X_{2} = {{K_{1}^{2}X_{1}Y_{1}} = {K_{1}^{2}{X_{1}\left( {a_{0} - X_{2} - X_{8}} \right)}}}} \\ {= {K_{1}^{2}{X_{1}\left( {a_{0} - X_{2} - {\frac{K_{1}^{8}}{K_{1}^{2}}X_{2}}} \right)}}} \\ {= {K_{1}^{2}{X_{1}\left( {a_{0} - {X_{2}\left\lbrack {1 + \frac{K_{1}^{8}}{K_{1}^{2}}} \right\rbrack}} \right)}}} \\ {= {{K_{1}^{2}X_{1}a_{0}} - {K_{1}^{2}X_{1}{X_{2}\left\lbrack {1 + \frac{K_{1}^{8}}{K_{1}^{2}}} \right\rbrack}}}} \\ {= {{K_{1}^{2}X_{1}a_{0}} - {X_{1}{X_{2}\left\lbrack {K_{1}^{2} + K_{1}^{8}} \right\rbrack}}}} \\ {{X_{2} + {X_{1}{X_{2}\left\lbrack {K_{1}^{2} + K_{1}^{8}} \right\rbrack}}} = {a_{0}K_{1}^{2}X_{1}}} \\ {\therefore{X_{2} = \frac{a_{0}K_{1}^{2}X_{1}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}} \end{matrix}{and}} & (59) \\ \begin{matrix} {X_{3} = {{K_{1}^{9}X_{1}Y_{2}} = {K_{1}^{3}{X_{1}\left( {b_{0} - X_{3} - X_{9}} \right)}}}} \\ {= {K_{1}^{9}{X_{1}\left( {b_{0} - X_{3} - {\frac{K_{1}^{9}}{K_{1}^{3}}X_{3}}} \right)}}} \\ {= {K_{1}^{9}{X_{1}\left( {b_{0} - {X_{3}\left\lbrack {1 + \frac{K_{1}^{9}}{K_{1}^{3}}} \right\rbrack}} \right)}}} \\ {= {{K_{1}^{9}X_{1}b_{0}} - {K_{1}^{3}X_{1}{X_{3}\left\lbrack {1 + \frac{K_{1}^{9}}{K_{1}^{3}}} \right\rbrack}}}} \\ {= {{K_{1}^{9}X_{1}b_{0}} - {X_{1}{X_{3}\left\lbrack {K_{1}^{3} + K_{1}^{9}} \right\rbrack}}}} \\ {{X_{3} + {X_{1}{X_{3}\left\lbrack {K_{1}^{3} + K_{1}^{9}} \right\rbrack}}} = {b_{0}K_{1}^{3}X_{1}}} \\ {\therefore{X_{3} = \frac{b_{0}K_{1}^{3}X_{1}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}} \end{matrix} & (60) \end{matrix}$ We also obtain, from (57), $\begin{matrix} \begin{matrix} {X_{8} = {{\frac{K_{1}^{8}}{K_{1}^{2}}X_{2}} = {\frac{K_{1}^{8}}{K_{1}^{2}}\frac{a_{0}K_{1}^{2}X_{1}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}}} \\ {= {\frac{a_{0}K_{1}^{8}X_{1}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}} = X_{8}}} \end{matrix} & (61) \end{matrix}$ and from (58): $\begin{matrix} \begin{matrix} {X_{9} = {{\frac{K_{1}^{9}}{K_{1}^{3}}X_{3}} = {\frac{K_{1}^{9}}{K_{1}^{3}}\frac{b_{0}K_{1}^{3}X_{1}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}}} \\ {= {\frac{b_{0}K_{1}^{9}X_{1}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}} = X_{9}}} \end{matrix} & (62) \end{matrix}$ Finally, equations (59), (60), (61), and (62) can be solved to express X₂, X₃, X₈, and X₉, respectively, in terms of X₁. Now, from (55), (57), and (59), one derives: $\begin{matrix} \begin{matrix} {Y_{1} = {{a_{0} - X_{2} - X_{8}} = {a_{0} - {X_{2}\left( {1 + \frac{K_{1}^{8}}{K_{1}^{2}}} \right)}}}} \\ {= {a_{0} - {\frac{a_{0}K_{1}^{2}X_{1}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}\left( {1 + \frac{K_{1}^{8}}{K_{1}^{2}}} \right)}}} \\ {= {a_{0} - \frac{a_{0}{X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}} \\ {= {a_{0}\left\lbrack \frac{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)} - {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}} \right\rbrack}} \\ {= \frac{a_{0}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}} \\ {\therefore{Y_{1} = \frac{a_{0}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}} \end{matrix} & (63) \end{matrix}$ Similarly, one derives: $\begin{matrix} \begin{matrix} {Y_{2} = {{b_{0} - X_{3} - X_{9}} = {b_{0} - {X_{3}\left( {1 + \frac{K_{1}^{9}}{K_{1}^{3}}} \right)}}}} \\ {= {b_{0} - {\frac{b_{0}K_{1}^{3}X_{1}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}\left( {1 + \frac{K_{1}^{9}}{K_{1}^{3}}} \right)}}} \\ {= {b_{0} - \frac{b_{0}{X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}} \\ {= {b_{0}\left\lbrack \frac{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)} - {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}} \right\rbrack}} \\ {= \frac{b_{0}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}} \\ {\therefore{Y_{2} = \frac{b_{0}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}} \end{matrix} & (64) \end{matrix}$ A final simplification yields a univariate rational function only in X₁ equating to a constant e₀: $\begin{matrix} \begin{matrix} {e_{0} = {X_{1} + X_{2} + X_{3} + X_{8} + {X_{9}\quad\left( {{by}\quad(53)} \right)}}} \\ {= {X_{1} + {X_{1}\frac{a_{0}K_{1}^{2}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}} +}} \\ {{X_{1}\frac{b_{0}K_{1}^{3}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}\quad\left( {{{by}\quad(59)};(60)} \right)} +} \\ {{X_{1}\frac{a_{0}K_{1}^{8}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}} +} \\ {X_{1}\frac{b_{0}K_{1}^{9}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}\quad\left( {{{by}\quad(61)};(62)} \right)} \\ {e_{0} = {X_{1}\left\lbrack {1 + {a_{0}\frac{K_{1}^{2} + K_{1}^{8}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}} + {b_{0}\frac{K_{1}^{3} + K_{1}^{9}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}} \right\rbrack}} \end{matrix} & (65) \end{matrix}$ Since the terms (K₁ ²+K₁ ⁸) and (K₁ ³+K₁ ⁹) appear frequently, in order to express the preceding equations in a simpler form, introduced is a short-hand notation shown below. Let s₂₈ ≡ K₁² + K₁⁸; s₃₉ ≡ K₁³ + K₁⁹; and  x ≡ X₁. In simplified form, the equation (65) becomes: $\begin{matrix} {{{\left. {{{x\left( {1 + {a_{0}\frac{s_{28}}{1 + {s_{28}x}}} + {b_{0}\frac{s_{39}}{1 + {s_{39}x}}}} \right)} = e_{0}}{{x\left( \frac{\begin{matrix} \left( {{\left( {1 + {s_{28}x}} \right)\left( {1 + {s_{39}x}} \right)} + {a_{0}{s_{28}\left( {1 + {s_{39}x}} \right)}} +} \right. \\ \left. {b_{0}{s_{39}\left( {1 + {s_{28}x}} \right)}} \right) \end{matrix}}{\left( {\left( {1 + {s_{28}x}} \right)\left( {1 + {s_{39}x}} \right)} \right)} \right)} = e_{0}}{{{x\left( {{\left( {1 + {s_{28}x}} \right)\left( {1 + {s_{39}x}} \right)} + {a_{0}{s_{28}\left( {1 + {s_{39}x}} \right)}} + {b_{0}{s_{39}\left( {1 + {s_{28}x}} \right)}}} \right)} = {{e_{0}\left( {1 + {s_{28}x}} \right)}\left( {1 + {s_{39}x}} \right)}};}{{\left( {s_{28}s_{39}} \right)x^{3}} + {\left( {s_{28} + s_{39} + {s_{28}{s_{39}\left\lbrack {a_{0} + b_{0} - e_{0}} \right\rbrack}}} \right)x^{2}} + 1 + {s_{28}\left\lbrack {a_{0} - e_{0}} \right\rbrack} + {s_{39}\left\lbrack {b_{0} - e_{0}} \right\rbrack}}} \right)x} - e_{0}} = 0} & (66) \end{matrix}$ Now the cubic polynomial equation (66) must be solved for the unknown x=X₁, and then the solution can be substituted into (59)-(64) in order to solve for the rest of the variables. One may obtain the solutions in their symbolic form using Mathematica computer algebra system (see Wolfram, S. The Mathematica Book. Cambridge University Press, 4^(th) edition, (1999)), as the three possible roots may be easily expressed in radicals. More to the point, one only needs to solve for $\begin{matrix} {\begin{matrix} {\left( \frac{P_{11}}{P_{01}} \right)_{I} = \left( \frac{\left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{11}^{2} \right\rbrack}{\left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack} \right)_{1}} \\ {= \frac{X_{2} + X_{8}}{X_{3} + X_{9}}} \\ {= {\left( {\frac{a_{0}K_{1}^{2}x}{1 + {s_{28}x}} + \frac{a_{0}K_{1}^{8}x}{1 + {s_{28}x}}} \right)/\left( {\frac{b_{0}K_{1}^{3}x}{1 + {s_{39}x}} + \frac{b_{0}K_{1}^{9}x}{1 + {s_{39}x}}} \right)}} \end{matrix}{or}\begin{matrix} {\left( \frac{P_{11}}{P_{01}} \right)_{I} = {\left( \frac{a_{0}s_{28}x}{1 + {s_{28}x}} \right)/\left( \frac{b_{0}s_{39}x}{1 + {s_{39}x}} \right)}} \\ {= {\frac{a_{0}}{b_{0}}\frac{s_{28}}{s_{39}}\frac{1 + {s_{39}x}}{1 + {s_{28}x}}}} \\ {= {\frac{a_{0}}{b_{0}}\frac{s_{28}}{s_{39}}\frac{s_{39} + {1/x}}{s_{28} + {1/x}}}} \end{matrix}} & (67) \end{matrix}$ where χ is at solution of (66). System Reduction—Model II

As before, starting with (54), one obtains the following linear equalities: Y ₃ =c ₀ −X ₄ −X ₆  (68) Y ₄ =d ₀ −X ₅ −X ₇  (69) Since $\begin{matrix} {\frac{X_{4}}{X_{6}} = {\frac{K_{1}^{4}X_{1}Y_{3}}{K_{1}^{6}X_{1}Y_{3}} = {\left. \frac{K_{1}^{4}}{K_{1}^{6}}\Longrightarrow X_{6} \right. = {\frac{K_{1}^{6}}{K_{1}^{4}}X_{4}}}}} & (70) \\ {{\frac{X_{5}}{X_{7}} = {\frac{K_{1}^{6}X_{1}Y_{4}}{K_{1}^{7}X_{1}Y_{4}} = {\left. \frac{K_{1}^{5}}{K_{1}^{7}}\Longrightarrow X_{7} \right. = {\frac{K_{1}^{7}}{K_{1}^{5}}X_{5}}}}}{{we}\quad{obtain}}} & (71) \\ {\begin{matrix} {X_{4} = {{K_{1}^{4}X_{1}Y_{3}} = {K_{1}^{4}{X_{1}\left( {c_{0} - {X_{4}\left\lbrack {1 + \frac{K_{1}^{6}}{K_{1}^{4}}} \right\rbrack}} \right)}}}} \\ {= {{K_{1}^{4}X_{1}c_{0}} - {X_{1}{X_{4}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}} \\ {\therefore{X_{4} = \frac{c_{0}K_{1}^{4}X_{1}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}} \end{matrix}{and}} & (72) \\ \begin{matrix} {X_{5} = {K_{1}^{5}X_{1}Y_{4}}} \\ {= {K_{1}^{5}{X_{1}\left( {d_{0} - {X_{5}\left\lbrack {1 + \frac{K_{1}^{7}}{K_{1}^{5}}} \right\rbrack}} \right)}}} \\ {= {{K_{1}^{5}X_{1}d_{0}} - {X_{1}{X_{5}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}} \\ {\therefore{X_{5} = \frac{d_{0}K_{1}^{5}X_{1}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}} \end{matrix} & (73) \end{matrix}$ Furthermore, from (70) and (72), we obtain $\begin{matrix} \begin{matrix} {X_{6} = {\frac{K_{1}^{6}}{K_{1}^{4}}X_{4}}} \\ {= {\frac{K_{1}^{6}}{K_{1}^{4}}\frac{c_{0}K_{1}^{4}X_{1}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}} \\ {= {\frac{c_{0}K_{1}^{6}X_{1}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}} = X_{6}}} \end{matrix} & (74) \end{matrix}$ and from (71) and (73), $\begin{matrix} \begin{matrix} {X_{7} = {\frac{K_{1}^{7}}{K_{1}^{5}}X_{5}}} \\ {= {\frac{K_{1}^{7}}{K_{1}^{5}}\frac{d_{0}K_{1}^{6}X_{1}}{1 + {X_{1}\left( {K_{1}^{6} + K_{1}^{7}} \right)}}}} \\ {= {\frac{d_{0}K_{1}^{7}X_{1}}{1 + {X_{1}\left( {K_{1}^{6} + K_{1}^{7}} \right)}} = X_{7}}} \end{matrix} & (75) \end{matrix}$ Finally, equations (72) (73), (74), and (75) can be solved to express X₄, X₅, X₆, and X₇, respectively, in terms of X₁.

From (68), (70), and (72), we derive $\begin{matrix} \begin{matrix} {Y_{3} = {c_{0} - X_{4} - X_{6}}} \\ {= {c_{0} - {X_{4}\left( {1 + \frac{K_{1}^{6}}{K_{1}^{4}}} \right)}}} \\ {= {c_{0} - {\frac{c_{0}K_{1}^{4}X_{1}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}\left( {1 + \frac{K_{1}^{6}}{K_{1}^{4}}} \right)}}} \\ {= {c_{0} - \frac{c_{0}{X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}} \\ {= {c_{0}\left\lbrack \frac{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)} - {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}} \right\rbrack}} \\ {= \frac{c_{0}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}} \\ {\therefore{Y_{3} = \frac{c_{0}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}} \end{matrix} & (76) \end{matrix}$ Similarly, we derive $\begin{matrix} \begin{matrix} {Y_{4} = {d_{0} - X_{5} - X_{7}}} \\ {= {d_{0} - {X_{5}\left( {1 + \frac{K_{1}^{7}}{K_{1}^{5}}} \right)}}} \\ {= {d_{0} - {\frac{d_{0}K_{1}^{5}X_{1}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}\left( {1 + \frac{K_{1}^{7}}{K_{1}^{5}}} \right)}}} \\ {= {d_{0} - \frac{d_{0}{X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}} \\ {= {d_{0}\left\lbrack \frac{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)} - {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}} \right\rbrack}} \\ {= \frac{d_{0}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}} \\ {\therefore{Y_{4} = \frac{d_{0}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}} \end{matrix} & (77) \end{matrix}$ Putting it all together, we derive the univariate rational equation for X₁. or $\begin{matrix} \begin{matrix} {e_{0} = {X_{1} + X_{4} + X_{5} + X_{6} + {X_{7}\quad\left( {{by}\quad(54)} \right)}}} \\ {= {X_{1} + {X_{1}\frac{c_{0}K_{1}^{4}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}} +}} \\ {{X_{1}\frac{d_{0}K_{1}^{5}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}\quad\left( {{{by}\quad(72)},(73)} \right)} +} \\ {{X_{1}\frac{c_{0}K_{1}^{6}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}} +} \\ {X_{1}\frac{d_{0}K_{1}^{7}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}\quad\left( {{{by}\quad(74)},(75)} \right)} \\ {e_{0} = {X_{1}\left\lbrack {1 + {c_{0}\frac{K_{1}^{4} + K_{1}^{6}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}} + {d_{0}\frac{K_{1}^{5} + K_{1}^{7}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}} \right\rbrack}} \end{matrix} & (78) \end{matrix}$ As before, we abbreviate the terms (K₁ ⁴+K₁ ⁶) and (K₁ ⁵+K₁ ⁷) by short-hand notation, shown below. Let s₄₆ ≡ K₁⁴ + K₁⁶; s₅₇ ≡ K₁⁵ + K₁⁷; and  y ≡ X₁. Note that, in order to avoid confusion a different abbreviation for X_(i) (i.e., y), was introduced intentionally since the equation to be solved in this case differs from equation (66). Then (78) can be expressed as: $\begin{matrix} {{{y\left( {1 + {c_{0}\frac{s_{46}}{1 + {s_{46}y}}} + {d_{0}\frac{s_{57}}{1 + {s_{57}y}}}} \right)} = e_{0}}{{y\left( \frac{{\left( {1 + {s_{46}y}} \right)\left( {1 + {s_{57}y}} \right)} + {c_{0}{s_{46}\left( {1 + {s_{57}y}} \right)}} + {d_{0}{s_{57}\left( {1 + {s_{46}y}} \right)}}}{\left( {1 + {s_{46}y}} \right)\left( {1 + {s_{57}y}} \right)} \right)} = e_{0}}{{{y\left( {{\left( {1 + {s_{46}y}} \right)\left( {1 + {s_{57}y}} \right)} + {c_{0}{s_{46}\left( {1 + {s_{57}y}} \right)}} + {d_{0}{s_{57}\left( {1 + {s_{46}y}} \right)}}} \right)} = {{e_{0}\left( {1 + {s_{46}y}} \right)}\left( {1 + {s_{57}y}} \right)}};}{{{{{or}\quad\left( {s_{46}s_{57}} \right)}y^{3}} + {\left( {s_{46} + s_{57} + {s_{46}{s_{57}\left\lbrack {c_{0} + d_{0} - e_{0}} \right\rbrack}}} \right)y^{2}} + {\left( {1 + {s_{46}\left\lbrack {c_{0} - e_{0}} \right\rbrack} + {s_{57}\left\lbrack {d_{0} - e_{0}} \right\rbrack}} \right)y} - e_{0}} = 0}} & (79) \end{matrix}$ Again, the cubic polynomial equation (79) must be solved for y=X₁, and then the solution can be substituted into (72)-(77) for the rest of the variables. Actually, one only needs $\begin{matrix} {\begin{matrix} {\left( \frac{P_{12}}{P_{02}} \right)_{11} = \left( \frac{\left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack}{\left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack} \right)_{11}} \\ {= \frac{X_{4} + X_{6}}{X_{5} + X_{7}}} \\ {= {\left( {\frac{c_{0}K_{1}^{4}y}{1 + {s_{46}y}} + \frac{c_{0}K_{1}^{6}y}{1 + {s_{46}y}}} \right)/\left( {\frac{d_{0}K_{1}^{5}y}{1 + {s_{57}y}} + \frac{d_{0}K_{1}^{7}y}{1 + {s_{57}y}}} \right)}} \end{matrix}{or}\text{}\begin{matrix} {\left( \frac{P_{12}}{P_{02}} \right)_{11} = {\left( \frac{c_{0}s_{46}y}{1 + {s_{46}y}} \right)/\left( \frac{d_{0}s_{57}y}{1 + {s_{57}y}} \right)}} \\ {= {\frac{c_{0}}{d_{0}}\frac{s_{46}}{s_{57}}\frac{1 + {s_{57}y}}{1 + {s_{46}y}}}} \\ {= {\frac{c_{0}}{d_{0}}\frac{s_{46}}{s_{57}}\frac{s_{57} + {1/y}}{s_{46} + {1/y}}}} \end{matrix}} & (80) \end{matrix}$ where y solves (79). System Reduction—Full Model As noted above, the system (52) of equations for the Full Model is simply the union of the systems (53) and (54) for models I and II, respectively, with the exception of the conservation rule for [T], i.e., the equation for X₁. Therefore, while the equation for X₁ itself must be handled separately, the derivations from sections Model I and Model II above can be duplicated to obtain equations for all the variables in terms of X₁. For convenience, one gathers the resulting equations in one place, as shown below. $\begin{matrix} {{X_{2} = \frac{a_{0}K_{1}^{2}X_{1}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}\quad\left( {{see}\quad(59)} \right)} & (81) \\ {{X_{3} = \frac{b_{0}K_{1}^{3}X_{1}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}\quad\left( {{see}\quad(60)} \right)} & (82) \\ {{X_{4} = \frac{c_{0}K_{1}^{4}X_{1}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}\quad\left( {{see}\quad(72)} \right)} & (83) \\ {{X_{5} = \frac{d_{0}K_{1}^{5}X_{1}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}\quad\left( {{see}\quad(73)} \right)} & (84) \\ {{X_{6} = \frac{c_{0}K_{1}^{6}X_{1}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}\quad\left( {{see}\quad(74)} \right)} & (85) \\ {{X_{7} = \frac{d_{0}K_{1}^{7}X_{1}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}\quad\left( {{see}\quad(75)} \right)} & (86) \\ {{X_{8} = \frac{a_{0}K_{1}^{8}X_{1}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}\quad\left( {{see}\quad(61)} \right)} & (87) \\ {{X_{9} = \frac{b_{0}K_{1}^{9}X_{1}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}\quad\left( {{see}\quad(62)} \right)} & (88) \\ {{Y_{1} = \frac{a_{0}}{1 + {X_{1}\left( {K_{1}^{2} + K_{1}^{8}} \right)}}}\quad\left( {{see}\quad(63)} \right)} & (89) \\ {{Y_{2} = \frac{b_{0}}{1 + {X_{1}\left( {K_{1}^{3} + K_{1}^{9}} \right)}}}\quad\left( {{see}\quad(64)} \right)} & (90) \\ {{Y_{3} = \frac{c_{0}}{1 + {X_{1}\left( {K_{1}^{4} + K_{1}^{6}} \right)}}}\quad\left( {{see}\quad(76)} \right)} & (91) \\ {{Y_{4} = \frac{d_{0}}{1 + {X_{1}\left( {K_{1}^{5} + K_{1}^{7}} \right)}}}\quad\left( {{see}\quad(77)} \right)} & (92) \end{matrix}$ It remains to derive the univariate equation in X₁. Since the terms (K₁ ²+K₁ ⁸), (K₁ ³+K₁ ⁹), (K₁ ⁴+K₁ ⁶), and (K₁ ⁵+K₁ ⁷) appear frequently in the following derivation, as in the previous sections, we abbreviate these terms with the short-hand notation given below. As in discussions of Models I and II above, let $\begin{matrix} {{s_{28} \equiv {K_{1}^{2} + K_{1}^{8}}};} & {{s_{39} \equiv {K_{1}^{3} + K_{1}^{9}}};} \\ {{s_{46} \equiv {K_{1}^{4} + K_{1}^{6}}};} & {{s_{57} \equiv {K_{1}^{5} + K_{1}^{7}}};} \end{matrix}$ and  let  z ≡ X₁. Note again that a different symbol for X₁ has to be employed to avoid confusion with equations (66) and (79). $\begin{matrix} {\begin{matrix} {e_{0} = {X_{1} + X_{2} + X_{3} + X_{4} + X_{5} + X_{6} + X_{7} + X_{8} + {X_{9}\quad\left( {{by}\quad(52)} \right)}}} \\ {= {z + {z\quad\frac{a_{0}K_{1}^{2}}{1 + {s_{28}z}}} + {z\frac{b_{0}K_{1}^{3}}{1 + {s_{39}z}}} + {z\quad\frac{c_{0}K_{1}^{4}}{1 + {s_{46}z}}} +}} \\ {{z\quad\frac{d_{0}K_{1}^{5}}{1 + {s_{57}z}}\quad\left( {{{by}\quad(81)} - (84)} \right)} +} \\ {{z\frac{\quad{c_{0}K_{1}^{6}}}{1 + {s_{46}z}}} + {z\frac{\quad{d_{0}K_{1}^{7}}}{1 + {s_{57}z}}} + {z\quad\frac{a_{0}K_{1}^{8}}{1 + {zs}_{28}}} + {z\quad\frac{b_{0}K_{1}^{9}}{1 + {zs}_{39}}\quad\left( {{{by}\quad(85)} - (88)} \right)}} \\ {= {z\left\lbrack {1 + {a_{0}\frac{K_{1}^{2} + K_{1}^{8}}{1 + {s_{28}z}}} + {b_{0}\frac{K_{1}^{3} + K_{1}^{9}}{1 + {s_{39}z}}} + {c_{0}\frac{K_{1}^{4} + K_{1}^{6}}{1 + {s_{46}z}}} + {d_{0}\frac{K_{1}^{5} + K_{1}^{7}}{1 + {s_{57}z}}}} \right\rbrack}} \end{matrix}{or}} & (93) \\ {{e_{0} = {z\left\lbrack {1 + \frac{a_{0}s_{28}}{1 + {s_{28}z}} + \frac{b_{0}s_{39}}{1 + {s_{39}z}} + \frac{c_{0}s_{46}}{1 + {s_{46}z}} + \frac{d_{0}s_{57}}{1 + {s_{57}z}}} \right\rbrack}}{or}} & (94) \\ \begin{matrix} {{\begin{matrix} {\left( {1 + {s_{28}z}} \right)\left( {1 + {s_{39}z}} \right)} \\ {\left( {1 + {s_{46}z}} \right)\left( {1 + {s_{57}z}} \right)} \end{matrix}e_{0}} = {z\left\lbrack {\left( {1 + {s_{28}z}} \right)\left( {1 + {s_{39}z}} \right)\left( {1 + {s_{46}z}} \right)} \right.}} \\ {\left( {1 + {s_{57}z}} \right) + {a_{0}{s_{28}\left( {1 + {s_{39}z}} \right)}\left( {1 + {s_{46}z}} \right)}} \\ {\left( {1 + {s_{57}z}} \right) + {b_{0}{s_{39}\left( {1 + {s_{28}z}} \right)}\left( {1 + {s_{46}z}} \right)}} \\ {\left( {1 + {s_{57}z}} \right) + {c_{0}{s_{46}\left( {1 + {s_{28}z}} \right)}\left( {1 + {s_{39}z}} \right)}} \\ {\left( {1 + {s_{57}z}} \right) + {d_{0}{s_{57}\left( {1 + {s_{28}z}} \right)}\left( {1 + {s_{39}z}} \right)}} \\ \left. \left( {1 + {s_{46}z}} \right) \right\rbrack \end{matrix} & (95) \end{matrix}$ Since one now has a 5_(th) order polynomial equation in z to solve, and since its roots cannot be expressed symbolically in a closed form, one must resort to a purely numerical approach. Nonetheless, the match-to-mismatch ratio signals can be obtained in terms of z. $\begin{matrix} {\begin{matrix} {\left( \frac{P_{11}}{P_{01}} \right)_{full} = \left( \frac{\left\lbrack {TP}_{11}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack}{\left\lbrack {TP}_{01}^{1} \right\rbrack + \left\lbrack {TP}_{01}^{2} \right\rbrack} \right)_{full}} \\ {= \frac{X_{2} + X_{8}}{X_{3} + X_{9}}} \\ {= {\frac{a_{0}}{b_{0}}\frac{s_{28}}{s_{39}}\frac{1 + {s_{39}z}}{1 + {s_{28}z}}}} \\ {= {\frac{a_{0}}{b_{0}}\frac{s_{28}}{s_{39}}\frac{s_{39} + {1/z}}{s_{28} + {1/z}}\quad\left( {{see}\quad\left( (67) \right)} \right.}} \end{matrix}{and}} & (96) \\ {\begin{matrix} {\left( \frac{P_{12}}{P_{02}} \right)_{full} = \left( \frac{\left\lbrack {TP}_{12}^{2} \right\rbrack + \left\lbrack {TP}_{12}^{1} \right\rbrack}{\left\lbrack {TP}_{02}^{2} \right\rbrack + \left\lbrack {TP}_{02}^{1} \right\rbrack} \right)_{full}} \\ {= \frac{X_{4} + X_{6}}{X_{5} + X_{7}}} \\ {= {\frac{c_{0}}{d_{0}}\frac{s_{46}}{s_{57}}\frac{1 + {s_{57}z}}{1 + {s_{46}z}}}} \\ {{= {\frac{c_{0}}{d_{0}}\frac{s_{46}}{s_{57}}\frac{s_{57} + {1/z}}{s_{46} + {1/z}}\quad\left( {{see}\quad(80)} \right)}},} \end{matrix}{{where}\quad z\quad{solves}\quad{(95).}}} & (97) \end{matrix}$ Normalized Discrimination: Δ-plot

To display the results of the computation and to describe the principal effects of competitive hybridization in a graphical manner, a “normalized discrimination” plot is provided, also referred to herein as a Δ-plot. This plot displays, in a manner that is independent of the specific sequences of a PM/MM probe pair, the normalized discrimination, herein denoted by Δ, and denoted in FIG. 4 by the ratio “pm/mm”, as a function of the molar ratio, [T]₀/Σ[P]₀ of the initial target concentration and the sum of initial probe concentrations. Here, the normalized discrimination represents the ratio of the amounts of probe-target complexes formed by PM and MM probes, normalized by the respective sequence-specific affinities. To the extent that affinities, calculated by summing over sequence-specific NN interactions on the entire region of the interactions, stabilize a duplex, the shape of the normalized discrimination plot is independent of the specific probe sequences under consideration. This makes the Δ-plot a valuable tool for the determination of the effect of competition wherein competitive hybridization manifests itself in the form of a shift of the Δ-plot for a single PM/MM probe pair in the presence of a second (or additional) PM/MM pair(s).

Discrimination is lowest in the presence of excess amounts of target because even the MM probe, while interacting more weakly with the target than the PM probe, will capture large amounts of target and generate a large signal. Conversely, discrimination is largest in the target-depleted regime: in the extreme case, a single target molecule would have to select the PM probe over the MM probe, producing infinite discrimination but at the expense of a very weak signal. Preferably, multiplexed analysis is thus carried out under conditions of slight target depletion so as to maximize discrimination while retaining an acceptable signal intensity to facilitate experimental measurements.

FIGS. 4A and 4B display the effects of competitive hybridization for a pair of PM/MM probes forming a complex with the same target, here Exon 11 of the CFTR gene, in accordance with the model of FIG. 2. FIG. 4A shows a shift “UP” of the Δ-plot of the first PM/MM pair (Model I) in the presence of the second PM/MM probe pair (Full Model), while FIG. 4B shows a shift “DOWN” of the Δ-plot of the second PM/MM pair (Model II) in the presence of the first PM/MM probe pair (Full Model). These Δ-plot shifts generally will have a dramatic effect upon the discrimination, A, attainable for a given initial molar ratio of target to probes. That is, the discrimination between perfect match and mismatch attained in an experimental design involving a single PM/MM probe pair for a given target can either improve, as in the case depicted in FIG. 4A, or deteriorate, as in the case depicted in FIG. 4B, with the addition of a second PM/MM pair directed to the same target.

Predicting the Effects of Competitive Hybridization

The methods described herein permit the prediction of the shifts in the Δ-plot, given the sequences of two or more PM/MM probe pairs. Consider two probes, each having associated with it the pair {P_(.,pm), P_(.,mm)}. For each probe, the pm/mm ratio shifts up or down in the presence of the other probe. The direction of the shift was determined to be a function of the relative sizes of the affinity constants K, where cross-bound states can be neglected. For a given probe, let K_(T)pm, K_(T)mm denote the affinity constants for this probe's binding site with pm and mm, respectively; let K_(O)pm, K_(O)mm be the other probe's affinity constants with pm and mm. View the competition effect as a binary function on the space of affinity constants (+1 for up, −1 for down shift) and consider the projection of the affinity constant space R⁴={K_(T)pm, K_(T)mm, K_(O)pm, K_(O)mm} onto the plane L with axes log(K_(T)pm/K_(O)pm) and log(K_(T)mm/K_(O)mm). On this plane, the competition effect function values can be clearly separated by the line x+y=0. This condition holds for physical exon 11 CFTR probes, as shown in FIGS. 5A and 5B.

The empirically determined condition can be described by the following logically equivalent statements:

-   -   pm/mm ratio shifts up         y<−χ         log(K _(T) mm/K _(O) mm)<−log(K _(T) pm/K _(O) pm)         K_(T)pmK_(T)mm<K_(O)pmK_(O)mm  (133)         Refer to the “empirical design rule” for comparison of a first         pair of PM/MM probes (1) and second pair of PM/MM probes (2):     -   Δ(PM/MM Pair 1) increases in presence of PM/MM Pair 2         -   whenever             K₁ ^(PM)K₁ ^(MM)<K₂ ^(PM)K₂ ^(MM)             Design of Optimal Probe Pairs for Competitive Hybridization

The reliability in predicting Δ-plot shifts renders the empirical design rule, derived herein from the heuristic analysis described above, a valuable design tool to guide the selection of PM/MM probe pairs for multiplexed hybridization analysis under conditions permitting competitive hybridization. The predictive power can be applied to experimental designs as follows.

Suppose an application (e.g., HLA typing) requires the use of several (n) probes. Let the probes be ranked in order of importance to the problem: A, B, C, D, E, F . . . One can choose the alternates for probes such that the ratios for important probes are improved. Recall that according to equation (133), the pm/mm ratio for this probe increases whenever K_(T)pmK_(T)mm<K_(O)pmK_(O)mm The process of selecting probes and alternates can be described in detail as follows. The DNA bases in an oligonucleotide are denoted by Σ={A, C, G, T}.

Start with probe A (most important); consider adding probe B. The options are:

-   -   Use probe B with alternate B′ differing in:         -   Position 1, value ΕΣ−B[1];         -   Position 2, value εΣ−B[2];         -   . . .         -   Position N, value εΣ−B[N];     -   Do not use probe B.         (Note that, here, This probe=A; Other probe=B.)         Construction of Probe Pairs

Consider the three capture probes from the probe selection example above, designed for the analysis of mutations in exon 11 of the cystic fibrosis transmembrane regulator (CFTR) gene, where A=C381, B=A327, C=D359.

Pairwise computational analysis using the methods described herein above indicates that:

-   -   A327 will improve A(C381), the discrimination for C381;     -   D359 will improve A(A327), the discrimination for A327.         The empirical design rule herein identified indicates that it         therefore follows that:     -   D359 will improve A(C381), the discrimination for C381.

This prediction was tested by invoking the “extended model” for three probe pairs as described herein and comparing the resulting Δ-plots for the following cases (FIG. 7): Δ(C381) in presence of both right-most Δ-plot in FIG. 7 A327 and D359 Δ(C381) in presence of middle Δ-plot in FIG. 7 A327 only Δ(C381) only left-most Δ-plot in FIG. 7 For a given initial target concentration, for example, corresponding to a value of 0.7 of the abscissa variable, Δ(C381) will increase upon addition of A327 and will increase further upon addition of D359. Experimental Illustration of the Effects of Competitive Hybridization

FIGS. 8A to 8D illustrate another potential application of the concept: introducing spurious “booster” probes into the multiplexed reaction for the sole purpose of improving the signal for probes of interest. FIG. 8A shows the results of hybridization of capture probes C381 to regions of the exon 11 of the cystic fibrosis transmembrane regulator (CFTR) gene in the presence of capture probes referred to as A327 and D359 (as depicted in FIG. 8B), when PM/MM probe pairs are present for A327 and C381, but only the PM probe is present for D359 (the “booster” probe in this example). The effect on the signal of probe C381 (as depicted in FIG. 8A) is analogous to that shown above (in FIG. 7): addition of probe A327 improves the signal for probe C381 (from “Extended Partial Model: 1” to “Pairwise Model: 1&2”), and further addition of “booster” probe D359 improves the signal for C381 even more (to “Extended Full Model”). The trade-off inherent in the empirical design rule shows that the signal for probe A327 (depicted in FIG. 8C, “Extended Partial Model: 2”) deteriorates with the addition of probe C381 (“Pairwise Model: 1&2”). However, addition of “booster” probe D359 compensates for the deterioration, resulting in the improvement of the signal for probe A327 in the presence of both C381 and D359 (“Extended Full Model”). FIG. 8D shows that the “booster” probe D359 has no discrimination signal, regardless of which other probes it is multiplexed with, as expected, since no MM probe was included for probe D359. Nonetheless, since probe D359 is introduced as a spurious probe (i.e., its signal was never of interest), it fully serves its purpose as a “booster” probe by improving the signal of preceding probes.

This example illustrates that adding probes which bind competitively to the target can increase the signal generated if subsequent probes are chosen appropriately, demonstrating that the empirical design rule is borne out.

3—Probe Pooling

In some applications, such as mutation analysis (e.g., for CF), one does not have the freedom of choosing the sequence of the mismatch probe—“mutant” matching sequence is used as “wild-type” mismatch and vice versa. In those cases, the options listed above relating to selection of probes [appearing below the formula K_(T) ^(PM)K_(T) ^(MM)<K_(O) ^(PM)K_(O) ^(MM)] are reduced to:

-   -   Use probe B with the given alternate (dictated by “mutant”         sequence), or     -   Do not use probe B.

Furthermore, there are applications where one cannot rank probes by importance—all probes are equally important. Hence, discarding a probe is not really an option. For these applications, one can easily extend the approach for selecting probes and alternates, described above, into a method for pooling probes, namely, sorting through equally important probes and separating them into groups of non-interfering probes. Starting with a randomly ordered list of n equally important probes, we go through the probe selection process (above), with the exception that whenever our method dictates that we discard a given probe, we use that probe to start a new “pool”. Each subsequent probe gets placed by starting with the initial probe pool, and in the event it is to be “discarded” from it, cycles to the next available “pool”. If all currently existing probe pools recommend that it be discarded, we use it to start a new “pool”. In this manner, the original list of n probes gets separated into k groups, k<n.

One may also choose to adjust the selection criteria for a newly added probe to not only boost the signals of the existing probes in the pool, but also limit the decay of the signal for the newly added probe itself.

Experimental Results

FIGS. 9A-9E, 10A, and 10B show experimental results of combining probes and targets as shown in the figures, and as listed in the table in FIG. 9A. In FIG. 10B, adding the probe with the higher affinity (D359) together with the A327 probe to the target caused an increase in discrimination (panel C) as predicted by the empirical design rule. In FIG. 10A, adding the lower affinity probe (C381) together with the A327 probe to the target caused an increase in discrimination (panel C), which is opposite to the prediction of the empirical design rule. The results of various probe combinations in FIGS. 9A-9E are also not consistent with the empirical design rule. These inconsistencies indicate that the nearest neighbor model of affinity (used to calculate the affinity constants shown in the table in FIG. 6B) has limitations.

It should be understood that the examples, terms, expressions, and methods described herein are exemplary only, and not limiting, and that the invention is defined only in the claims which follow, and includes all equivalents of the subject matter of those claims. 

1. A method of correcting for the effect of competitive hybridization on discrimination of binding of a set of pairs of oligonucleotide probes, where members of different pairs have different sequences and where different probe pairs are capable of hybridizing with different subsequences of the same target, and wherein one member probe of each pair is perfectly complementary (the “PM member”) to a particular subsequence and the other member probe of that pair differs in sequence at a limited number nucleotide positions from said one member (the “MM member”), said method comprising a) constructing a plot for each pair of probes representing the discrimination of signal achieved with each different probe pair as a function of the ratio of the initial concentrations of target and probes; b) using a rule that the signal for first probe pair shifts up whenever K _(T) ^(PM)K_(T) ^(MM)<K_(O) ^(PM)K_(O) ^(MM), where K_(T) ^(PM) is the affinity of the PM member of a first probe pair, K_(T) ^(MM) is the affinity of the MM member of the first probe pair, K_(O) ^(PM) is the affinity of the PM member of the other probe pair, and K_(O) ^(MM) is the affinity of the MM member of the other probe pair) the change in PM/MM for each probe pair in the presence of the other probe pair(s); and c) correcting observed values of discrimination by said change.
 2. The method of claim 1 wherein the MM members of the first and the other probe pair differ in sequence from the PM members of said pairs by one nucleotide.
 3. A method of selecting a set of oligonucleotide probe pairs, wherein one member of a particular pair has a different sequence than the other member and wherein one member (the “PM member”) is perfectly complementary to a subsequence of a particular target and the other member probe of that pair differs in sequence at a limited number nucleotide positions from said one member (the “MM member”), and wherein different probe pairs have members which are complementary to different subsequences of the same target, and wherein the selection method is to maximize discrimination between members of a particular pair when performing multiplexed hybridization to two or more said probe pairs, the method comprising: a) selecting candidate probes; b) ranking the candidate probes in the order of decreasing importance to the selection; c) adding a first probe to the set; d) adding additional probes to the set if, for each successive probe pair to be added, said probe pair satisfies the inequality: K _(T) ^(PM)K_(T) ^(MM)<K_(O) ^(PM)K_(O) ^(MM), where: K_(T) ^(PM) is the affinity constant for the last added PM probe binding to its designated subsequence; K_(T) ^(MM) is the affinity constant for the last added MM probe binding to its designated subsequence; K_(O) ^(PM) is the affinity constant for the next successive PM probe binding to its designated subsequence; and K_(O) ^(MM) is the affinity constant for the next successive MM probe binding to its designated subsequence.
 4. The method of claim 3 wherein the MM members of the first and the other probe pair differ in sequence from the PM members of said pairs by one nucleotide.
 5. A method of analyzing the results, or predicting the effect, of hybridization-mediated multiplexed assay of polymorphisms in a target sequence, where hybridization generates an assay signal, using a set of pairs of oligonucleotide probes, where members of different pairs have different sequences and where different probe pairs are capable of hybridizing with different subsequences of the same target, and wherein one member probe of each pair is perfectly complementary to a particular subsequence and the other member probe of that pair differs from the said one member at a limited number of nucleotide positions, the method comprising: (a) ranking the probe pairs in order such that each successive probe satisfies the inequality K_(T) ^(PM)K_(T) ^(MM)<K_(O) ^(PM)K_(O) ^(MM), where: K_(T) ^(PM) is the affinity constant for the last added PM probe binding to its designated subsequence; K_(T) ^(MM) is the affinity constant for the last added MM probe binding to its designated subsequence; K_(O) ^(PM) is the affinity constant for the next successive PM probe binding to its designated subsequence; and K_(O) ^(MM) is the affinity constant for the next successive MM probe binding to its designated subsequence; (b) determining the effects of competitive hybridization between the probe pairs on the assay signals; and (c) determining the effects of hybridization of the members of the probe pairs on the assay signals.
 6. The method of claim 5 wherein the difference in sequence between said one member and the other member of the probe pair is at only one position. 